#ifndef TODETFINAUT_H_
#define TODETFINAUT_H_
#include <iostream>
#include <list>
#include <string>
#include "DetFinAut.h"
#include "NonFinAut.h"

using namespace std;

class toDetFinAut
{
public:
	toDetFinAut();
	~toDetFinAut();
	DetFinAut<char> convertToDetFinAut(NonFinAut<char> &NFA);
};

#endif